Quantifier elimination for approximate BK-factorization
نویسندگان
چکیده
Factorization of linear partial differential operators (LPDOs) is a very wellstudied problem and a lot of pure existence theorems are known. The only known constructive factorization algorithm Beals-Kartashova (BK) factorization is presented in [1]). Its comparison with Hensel descent which is sometimes regarded as constructive, is given in [2], where the idea to use BKfactorization for approximate factorization is also discussed. It originates in one of the most interesting features of BK-factorization: at the beginning all the first-order factors are constructed and afterwards the factorization condition(s) should be checked. This leads to the important application area namely, numerical simulations which could be simplified substantially if instead of computation with one LPDE of order n we will be able to proceed computations with n LPDEs all of order 1. In numerical simulations it is not necessary to fulfill factorization conditions exactly but with some given accuracy, which we call approximate factorization. The idea of the present paper is to look into the feasibility of solving problems of this kind using quantifier elinination by cylindrical algebraic decomposition [3]. In this paper we are going to apply this approach to a hyperbolic LPDO of order 2 with polynomial coefficients.
منابع مشابه
Quantifier Elimination for Approximate Factorization of Linear Partial Differential Operators
This paper looks at the feasibility of applying the quantifier elimination program QEPCAD-B to obtain quantifier-free conditions for the approximate factorization of a simple hyperbolic linear partial differential operator (LPDO) of order 2 over some given bounded rectangular domain in the plane. A condition for approximate factorization of such an operator to within some given tolerance over s...
متن کاملComplete pivoting strategy for the $IUL$ preconditioner obtained from Backward Factored APproximate INVerse process
In this paper, we use a complete pivoting strategy to compute the IUL preconditioner obtained as the by-product of the Backward Factored APproximate INVerse process. This pivoting is based on the complete pivoting strategy of the Backward IJK version of Gaussian Elimination process. There is a parameter $alpha$ to control the complete pivoting process. We have studied the effect of dif...
متن کاملApproximate Quantifier Elimination for Propositional Boolean Formulae
This paper describes an approximate quantifier elimination procedure for propositional Boolean formulae. The method is based on computing prime implicants using SAT and successively refining overapproximations of a given formula. This construction naturally leads to an anytime algorithm, that is, it can be interrupted at anytime without compromising soundness. This contrasts with classical mono...
متن کاملSolitary Wave solutions of the BK equation and ALWW system by using the first integral method
Solitary wave solutions to the Broer-Kaup equations and approximate long water wave equations are considered challenging by using the rst integral method.The exact solutions obtained during the present investigation are new. This method can be applied to nonintegrable equations as well as to integrable ones.
متن کاملBK-factorization and Darboux-Laplace transformations
BK-factorization of bivariate LPDOs is outlined. As an example, class of factorized hyperbolic operators is constructed as well as general solution in quadratures for operators of this class. Coupling of BK-factorization with Darboux-Laplace transformations is described which provided additional factorization conditions (demand of generalized commutativity) in the case when BK-factorization doe...
متن کامل